InforLorV4, Main, Exploration, bibRecord, 004443

Modélisation événementielle pour la construction de diagrammes de classes

Identifieur interne : 004443 ( Main/Exploration ); précédent : 004442; suivant : 004444

Modélisation événementielle pour la construction de diagrammes de classes

Auteurs : BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]

Source :

Ingénierie des systèmes d'information : (2001) [ 1633-1311 ] ; 2008.

RBID : Pascal:08-0381429

Descripteurs français

Pascal (Inist)
- Système complexe, Méthode formelle, Système réactif, Langage modélisation unifié, Orienté objet, Théorie preuve, Vérification programme, Sécurité informatique, Langage OCL, Contrôle accès, Gestion événement, Modélisation, Méthode raffinement.

English descriptors

KwdEn :
- Access control, Complex system, Computer security, Event management, Formal method, Modeling, Object constraint language, Object oriented, Program verification, Proof theory, Reactive system, Refinement method, Unified modelling language.

Abstract

Specifying complex systems is a difficult task which cannot be done in one step. In the framework of formal methods, the refinement is a key feature to incrementally develop more and more detailed models, preserving correctness in each step. Our purpose is to instantiate this process in an event-based approach, when using UML/OCL notations. The main idea is to make evolve a class diagram by observing the arrival of new events and their evolution. The expression of properties and their proof of correctness require adapted notations: we introduce a set of OCL definitions to refine and manipulate the notion of associations between classes. We illustrate our purpose by the description of some development steps of an access control system.

Affiliations:

Links toward previous steps (curation, corpus...)

to stream PascalFrancis, to step Corpus: 000302
to stream PascalFrancis, to step Curation: 000726
to stream PascalFrancis, to step Checkpoint: 000260
to stream Main, to step Merge: 004555
to stream Main, to step Curation: 004443

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">Modélisation événementielle pour la construction de diagrammes de classes</title>
<author><name sortKey="Boulbaba Ben Ammar" sort="Boulbaba Ben Ammar" uniqKey="Boulbaba Ben Ammar" last="Boulbaba Ben Ammar">BOULBABA BEN AMMAR</name>
<affiliation wicri:level="4"><inist:fA14 i1="01"><s1>LORIA -Université de Nancy, Campus Scientifique BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Nancy-Université</orgName>
</affiliation>
<affiliation wicri:level="1"><inist:fA14 i1="02"><s1>Laboratoire MIRACL -Université de Sfax BP 802</s1>
<s2>3018 Sfax</s2>
<s3>TUN</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Tunisie</country>
<wicri:noRegion>Laboratoire MIRACL -Université de Sfax BP 802</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Mohamed Tahar Bhiri" sort="Mohamed Tahar Bhiri" uniqKey="Mohamed Tahar Bhiri" last="Mohamed Tahar Bhiri">MOHAMED TAHAR BHIRI</name>
<affiliation wicri:level="1"><inist:fA14 i1="02"><s1>Laboratoire MIRACL -Université de Sfax BP 802</s1>
<s2>3018 Sfax</s2>
<s3>TUN</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Tunisie</country>
<wicri:noRegion>Laboratoire MIRACL -Université de Sfax BP 802</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquieres">Jeanine Souquieres</name>
<affiliation wicri:level="4"><inist:fA14 i1="01"><s1>LORIA -Université de Nancy, Campus Scientifique BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Nancy-Université</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">08-0381429</idno>
<date when="2008">2008</date>
<idno type="stanalyst">PASCAL 08-0381429 INIST</idno>
<idno type="RBID">Pascal:08-0381429</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000302</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000726</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000260</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000260</idno>
<idno type="wicri:doubleKey">1633-1311:2008:Boulbaba Ben Ammar:modelisation:evenementielle:pour</idno>
<idno type="wicri:Area/Main/Merge">004555</idno>
<idno type="wicri:Area/Main/Curation">004443</idno>
<idno type="wicri:Area/Main/Exploration">004443</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">Modélisation événementielle pour la construction de diagrammes de classes</title>
<author><name sortKey="Boulbaba Ben Ammar" sort="Boulbaba Ben Ammar" uniqKey="Boulbaba Ben Ammar" last="Boulbaba Ben Ammar">BOULBABA BEN AMMAR</name>
<affiliation wicri:level="4"><inist:fA14 i1="01"><s1>LORIA -Université de Nancy, Campus Scientifique BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Nancy-Université</orgName>
</affiliation>
<affiliation wicri:level="1"><inist:fA14 i1="02"><s1>Laboratoire MIRACL -Université de Sfax BP 802</s1>
<s2>3018 Sfax</s2>
<s3>TUN</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Tunisie</country>
<wicri:noRegion>Laboratoire MIRACL -Université de Sfax BP 802</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Mohamed Tahar Bhiri" sort="Mohamed Tahar Bhiri" uniqKey="Mohamed Tahar Bhiri" last="Mohamed Tahar Bhiri">MOHAMED TAHAR BHIRI</name>
<affiliation wicri:level="1"><inist:fA14 i1="02"><s1>Laboratoire MIRACL -Université de Sfax BP 802</s1>
<s2>3018 Sfax</s2>
<s3>TUN</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Tunisie</country>
<wicri:noRegion>Laboratoire MIRACL -Université de Sfax BP 802</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquieres">Jeanine Souquieres</name>
<affiliation wicri:level="4"><inist:fA14 i1="01"><s1>LORIA -Université de Nancy, Campus Scientifique BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Nancy-Université</orgName>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Ingénierie des systèmes d'information : (2001)</title>
<title level="j" type="abbreviated">Ing. syst. inf. : (2001)</title>
<idno type="ISSN">1633-1311</idno>
<imprint><date when="2008">2008</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Ingénierie des systèmes d'information : (2001)</title>
<title level="j" type="abbreviated">Ing. syst. inf. : (2001)</title>
<idno type="ISSN">1633-1311</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Access control</term>
<term>Complex system</term>
<term>Computer security</term>
<term>Event management</term>
<term>Formal method</term>
<term>Modeling</term>
<term>Object constraint language</term>
<term>Object oriented</term>
<term>Program verification</term>
<term>Proof theory</term>
<term>Reactive system</term>
<term>Refinement method</term>
<term>Unified modelling language</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Système complexe</term>
<term>Méthode formelle</term>
<term>Système réactif</term>
<term>Langage modélisation unifié</term>
<term>Orienté objet</term>
<term>Théorie preuve</term>
<term>Vérification programme</term>
<term>Sécurité informatique</term>
<term>Langage OCL</term>
<term>Contrôle accès</term>
<term>Gestion événement</term>
<term>Modélisation</term>
<term>Méthode raffinement</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Specifying complex systems is a difficult task which cannot be done in one step. In the framework of formal methods, the refinement is a key feature to incrementally develop more and more detailed models, preserving correctness in each step. Our purpose is to instantiate this process in an event-based approach, when using UML/OCL notations. The main idea is to make evolve a class diagram by observing the arrival of new events and their evolution. The expression of properties and their proof of correctness require adapted notations: we introduce a set of OCL definitions to refine and manipulate the notion of associations between classes. We illustrate our purpose by the description of some development steps of an access control system.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
<li>Tunisie</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Vandœuvre-lès-Nancy</li>
</settlement>
<orgName><li>Nancy-Université</li>
</orgName>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Boulbaba Ben Ammar" sort="Boulbaba Ben Ammar" uniqKey="Boulbaba Ben Ammar" last="Boulbaba Ben Ammar">BOULBABA BEN AMMAR</name>
</region>
<name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquieres">Jeanine Souquieres</name>
</country>
<country name="Tunisie"><noRegion><name sortKey="Boulbaba Ben Ammar" sort="Boulbaba Ben Ammar" uniqKey="Boulbaba Ben Ammar" last="Boulbaba Ben Ammar">BOULBABA BEN AMMAR</name>
</noRegion>
<name sortKey="Mohamed Tahar Bhiri" sort="Mohamed Tahar Bhiri" uniqKey="Mohamed Tahar Bhiri" last="Mohamed Tahar Bhiri">MOHAMED TAHAR BHIRI</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004443 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 004443 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Pascal:08-0381429
   |texte=   Modélisation événementielle pour la construction de diagrammes de classes
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Modélisation événementielle pour la construction de diagrammes de classes

Modélisation événementielle pour la construction de diagrammes de classes

Source :

Descripteurs français

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri